Random Variables and Product of Probability Spaces1
نویسندگان
چکیده
We have been working on the formalization of the probability and the randomness. In [15] and [16], we formalized some theorems concerning the real-valued random variables and the product of two probability spaces. In this article, we present the generalized formalization of [15] and [16]. First, we formalize the random variables of arbitrary set and prove the equivalence between random variable on Σ, Borel sets and a real-valued random variable on Σ. Next, we formalize the product of countably infinite probability spaces.
منابع مشابه
Acceptable random variables in non-commutative probability spaces
Acceptable random variables are defined in noncommutative (quantum) probability spaces and some of probability inequalities for these classes are obtained. These results are a generalization of negatively orthant dependent random variables in probability theory. Furthermore, the obtained results can be used for random matrices.
متن کاملA Probability Space based on Interval Random Variables
This paper considers an extension of probability space based on interval random variables. In this approach, first, a notion of interval random variable is introduced. Then, based on a family of continuous distribution functions with interval parameters, a concept of probability space of an interval random variable is proposed. Then, the mean and variance of an interval random variable are intr...
متن کاملSome Probability Inequalities for Quadratic Forms of Negatively Dependent Subgaussian Random Variables
In this paper, we obtain the upper exponential bounds for the tail probabilities of the quadratic forms for negatively dependent subgaussian random variables. In particular the law of iterated logarithm for quadratic forms of independent subgaussian random variables is generalized to the case of negatively dependent subgaussian random variables.
متن کاملProbability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
In this article we continue formalizing probability and randomness started in [13], where we formalized some theorems concerning the probability and real-valued random variables. In this paper we formalize the variance of a random variable and prove Chebyshev’s inequality. Next we formalize the product probability measure on the Cartesian product of discrete spaces. In the final part of this ar...
متن کاملWavelet Based Estimation of the Derivatives of a Density for m-Dependent Random Variables
Here, we propose a method of estimation of the derivatives of probability density based wavelets methods for a sequence of m−dependent random variables with a common one-dimensional probability density function and obtain an upper bound on Lp-losses for the such estimators.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013